square :: Int -> Int